[livres divers classés par sujet] [Informatique] [Algorithmique] [Programmation] [Mathématiques] [Hardware] [Robotique] [Langage] [Intelligence artificielle] [Réseaux]
[Bases de données] [Télécommunications] [Chimie] [Médecine] [Astronomie] [Astrophysique] [Films scientifiques] [Histoire] [Géographie] [Littérature]

Reaching Definitions Analysis Respecting Dead Path Elimination Semantics in BPEL Processes

contributor Institut für Architektur von Anwendungssystemen (IAAS)
creator Kopp, Oliver
Khalaf, Rania
Leymann, Frank
date 2007-11
description 33 pages
BPEL is not aware of explicit data dependencies. In this report, we present an algorithm that automatically determines such data dependencies. Especially, we consider dead-path-elimination (DPE) behavior defined in BPEL which allows reducing the number of data dependencies when compared to approaches not dealing with DPE.
format application/pdf
478545 Bytes
identifier  http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2007-04&engl=1
language eng
publisher Stuttgart, Germany, Universität Stuttgart
relation Technical Report No. 2007/04
source ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/TR-2007-04/TR-2007-04.pdf
subject Semantics of Programming Languages (CR F.3.2)
Office Automation (CR H.4.1)
title Reaching Definitions Analysis Respecting Dead Path Elimination Semantics in BPEL Processes
type Text
Technical Report